Digital Library

Search: "[ author: Jung Lan ]" (6)
    Formal Semantics for Processing Exceptions
    Jung Lan Han The KIPS Transactions:PartA, Vol. 17, No. 4, pp. 173-180, Aug. 2010
    10.3745/KIPSTA.2010.17.4.173

    A Concurrent Incremental Evaluation Technique Using Multitasking
    Jung Lan Han The KIPS Transactions:PartA, Vol. 17, No. 2, pp. 73-80, Apr. 2010
    10.3745/KIPSTA.2010.17.2.73

    Formal Semantics for Lambda Expression of Java
    Han Jung Lan KIPS Transactions on Computer and Communication Systems, Vol. 12, No. 5, pp. 157-164, May. 2023
    https://doi.org/10.3745/KTCCS.2023.12.5.157
    Keywords: Formal Semantics, Action Equation 3.0, Functional Interface, Specification of Semantics, Lambda Expression

    Building of Integrated Increment Interpretation System Based on Action Equations
    Jung Lan Han , Sung Choi The KIPS Transactions:PartA, Vol. 11, No. 3, pp. 149-156, Jun. 2004
    10.3745/KIPSTA.2004.11.3.149

    Formal Semantics Based on Action Equation 2.0 for Python
    Jung Lan Han KIPS Transactions on Computer and Communication Systems, Vol. 10, No. 6, pp. 163-172, Jun. 2021
    https://doi.org/10.3745/KTCCS.2021.10.6.163
    Keywords: Formal Semantics, Action Equation 2.0, Specification of Semantics, Python

    Specification and Simulation Environment for Prototying the Object Model
    Jung Lan, Kim Jung A, Moon Chung Ryeal, Kim Jung Doo The Transactions of the Korea Information Processing Society (1994 ~ 2000), Vol. 4, No. 5, pp. 1243-1256, May. 1997
    10.3745/KIPSTE.1997.4.5.1243

Forms



Category Search

Publications


Old Journals


Indexing


All publications of KTCCS is indexed in DOI, EBSCO, Google Scholar, Crossref, and CrossCheck.

KTCCS is also selected as the Journal for Accreditation by NRF (National Research Foundation of Korea).

Organization


Related Journals